Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Design Environment

We apply our object-oriented design environment PAM-Blox to dynamic generation of circuits for recon gurable computing. Our approach combines the structural hardware design environment with commercial synthesis of nite state machines (FSMs). The PAM-Blox environment features a well de ned hardware object interface and the ability to control the placement of hand-optimized circuits. We integrate the advantages of an object-oriented design environment with full control over placement at every level of abstraction, with commercial FSM synthesis and optimization. As driving application we consider recon gurable hardware accelerators for the NP-complete Boolean satis ability problem. These accelerators require a fast compilation of circuits consisting of instance-speci c datapaths and control automatons. By providing FSM optimization and control over placement, our design environment enables the maximization of performance.